ma-random(M;T;v;i;a;n)
== p != (M.2.2.2.2.2.2.2.2.2.2.2).1(a)  (T r Outcome) c (v = random(p;i;a)(n)) 

latex

---

clarification:

ma-random(M;T;v;i;a;n)
== fpf-val(IdDeq;
== fpf-val(((M.2.2.2.2.2.2.2.2.2.2.2).1);
== fpf-val(a;
== fpf-val(a,p.((T r p-outcome(p)) c (v = random{2:n}(p; i; a)(n)  p-outcome(p)))) 

latex

Definitions	z != f(x)  P(a;z), IdDeq, t.1, t.2, A c B, s = t, Outcome, f(a), random(p;a;b)
FDL editor aliases	ma-random